Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
2

Towards a transformational approach to program verification

Année:
1999
Langue:
english
Fichier:
PDF, 182 KB
english, 1999
3

Preface

Année:
2007
Langue:
english
Fichier:
PDF, 97 KB
english, 2007
4

PVS Strategies for Proving Abstraction Properties of Automata

Année:
2005
Langue:
english
Fichier:
PDF, 481 KB
english, 2005
7

Translation Templates to Support Strategy Development in PVS

Année:
2007
Langue:
english
Fichier:
PDF, 406 KB
english, 2007
8

Proving Invariants of I/O Automata with TAME

Année:
2002
Langue:
english
Fichier:
PDF, 347 KB
english, 2002
9

TAME: Using PVS strategies for special-purpose theorem proving

Année:
2000
Langue:
english
Fichier:
PDF, 379 KB
english, 2000